Karl Levitt: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal verification of a programming logic for a distributed programming language

Cui Zhang, Ronald A. Olsson, Karl N. Levitt

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.72 MB

english, 1999

2

hBFT: Speculative Byzantine Fault Tolerance with Minimum Cost

Duan, Sisi, Peisert, Sean, Levitt, Karl N.

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2015

Language:

english

File:

PDF, 742 KB

english, 2015

3

Reduced-Order Load Models for Large Populations of Flexible Appliances

Alizadeh, Mahnoosh, Scaglione, Anna, Applebaum, Andy, Kesidis, George, Levitt, Karl

Journal:

IEEE Transactions on Power Systems

Year:

2015

Language:

english

File:

PDF, 3.43 MB

english, 2015

4

Argument schemes for reasoning about trust

Parsons, Simon, Atkinson, Katie, Li, Zimi, McBurney, Peter, Sklar, Elizabeth, Singh, Munindar, Haigh, Karen, Levitt, Karl, Rowe, Jeff

Journal:

Argument & Computation

Year:

2014

Language:

english

File:

PDF, 356 KB

english, 2014

5

An Assessment of Techniques for Proving Program Correctness

Elspas, Bernard, Levitt, Karl N., Waldinger, Richard J., Waksman, Abraham

Journal:

ACM Computing Surveys

Year:

1972

Language:

english

File:

PDF, 4.16 MB

english, 1972

6

Firewall configuration: An application of multiagent metalevel argumentation

Applebaum, Andy, Li, Zimi, Levitt, Karl, Parsons, Simon, Rowe, Jeff, Sklar, Elizabeth I., Atkinson, Katie, Cerutti, Federico, McBurney, Peter, Parsons, Simon, Rahwan, Iyad

Journal:

Argument & Computation

Year:

2016

Language:

english

File:

PDF, 219 KB

english, 2016

7

Validation of array accesses: integration of flow analysis and program verification techniques

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson

Journal:

Software Testing, Verification and Reliability

Year:

1997

Language:

english

File:

PDF, 165 KB

english, 1997

8

LVT: a layered verification technique for distributed computing systems

Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 185 KB

english, 1999

9

Endogenous optical biomarkers of normal and human papillomavirus immortalized epithelial cells

Claudia Mujat, Cherry Greiner, Amy Baldwin, Jonathan M. Levitt, Fenghua Tian, Lee A. Stucenski, Martin Hunter, Young L. Kim, Vadim Backman, Michael Feld, Karl Münger, Irene Georgakoudi

Journal:

International Journal of Cancer

Year:

2008

Language:

english

File:

PDF, 796 KB

english, 2008

10

Brain ablation in the rat cerebral cortex using a tunable-free electron laser

Janice Ovelmen-Levitt, Karl D. Straub, Suzanne Hauger, Eric Szarmes, John Madey, Robert D. Pearlstein, Blaine S. Nashold Jr

Journal:

Lasers in Surgery and Medicine

Year:

2003

Language:

english

File:

PDF, 422 KB

english, 2003

11

MCF: a malicious code filter

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson

Journal:

Computers & Security

Year:

1995

Language:

english

File:

PDF, 2.21 MB

english, 1995

12

Is the Use of a Surrogate Urethra an Option in Prostate High-Dose-Rate Brachytherapy?

Josef Nilsson, Karl Mikael Kälkner, Lars Berg, Seymour Levitt, Carina Holmberg, Sten Nilsson, Marie Lundell

Journal:

International Journal of Radiation Oncology*Biology*Physics

Year:

2008

Language:

english

File:

PDF, 305 KB

english, 2008

13

Dosimetry of anal radiation in high-dose-rate brachytherapy for prostate cancer

Karl Mikael Kälkner, Emil Bengtsson, Simone Eriksson, Carina Holmberg, Sten Nilsson, Seymour Levitt, Marie Lundell

Journal:

Year:

2007

Language:

english

File:

PDF, 134 KB

english, 2007

14

Clinical outcome in 1000 patients with localized prostate cancer treated with external beam radiotherapy and high-dose-rate 192-Iridium brachytherapy boost: A single institution experience

Enrique Castellanos, Gabriella Cohn-Cedermark, Anders Ullen, Katinka Sandberg, Marianne Ryberg, Marie Hjelm-Eriksson, Marie Lundell, Goran Lundell, Seymour Levitt, Magnus Hellstrom, Karl Mikael Kalkne

Journal:

Year:

2008

Language:

english

File:

PDF, 68 KB

english, 2008

15

Intrusion detection inter-component adaptive negotiation

Richard Feiertag, Sue Rho, Lee Benzinger, Stephen Wu, Timothy Redmond, Cui Zhang, Karl Levitt, Dave Peticolas, Mark Heckman, Stuart Staniford, Joey McAlerney

Journal:

Computer Networks

Year:

2000

Language:

english

File:

PDF, 367 KB

english, 2000

16

NMRES: An artificial intelligence expert system for quantification of cardiac metabolites from31phosphorus nuclear magnetic resonance spectroscopy

John L. Chow, Karl N. Levitt, Gerald J. Kost

Journal:

Annals of Biomedical Engineering

Year:

1993

Language:

english

File:

PDF, 1.16 MB

english, 1993

17

Intrinsic fluorescence changes associated with apoptosis of human epithelial keratinocytes

Irene Georgakoudi, Jonathan Levitt, Amy Baldwin, Antonios Papadakis, Karl Münger

Journal:

Gynecologic Oncology

Year:

2005

Language:

english

File:

PDF, 416 KB

english, 2005

18

Diagnostic cellular organization features extracted from autofluorescence images

Levitt, Jonathan M., Hunter, Martin, Mujat, Claudia, McLaughlin-Drubin, Margaret, Münger, Karl, Georgakoudi, Irene

Journal:

Year:

2007

Language:

english

File:

PDF, 612 KB

english, 2007

19

Hyperphenylalaninemia with defective transamination

Karl Blau, Gillian A. Levitt, David R. Harvey

Journal:

Clinica Chimica Acta

Year:

1983

Language:

english

File:

PDF, 545 KB

english, 1983

20

Randomized, placebo-controlled, double-blind study of a cytomegalovirus-specific monoclonal antibody (MSL-109) for prevention of cytomegalovirus infection after allogeneic hematopoietic stem cell transplantation

Michael Boeckh, Raleigh A. Bowden, Barry Storer, Nelson J. Chao, Ricardo Spielberger, D. Kathryn Tierney, Ghislaine Gallez-Hawkins, Terri Cunningham, Karl G. Blume, Daniel Levitt, John A. Zaia

Journal:

Biology of Blood and Marrow Transplantation

Year:

2001

Language:

english

File:

PDF, 957 KB

english, 2001

21

Prostate volume determination: Differential volume measurements comparing CT and TRUS

Karl Mikael Kälkner, Gregory Kubicek, Josef Nilsson, Marie Lundell, Seymour Levitt, Sten Nilsson

Journal:

Radiotherapy and Oncology

Year:

2006

Language:

english

File:

PDF, 121 KB

english, 2006

22

Prostate displacement kit: Reducing the radiation dose to the rectum

Karl Mikael Kälkner, Josef Nilsson, Marie Lundell, Seymour Levitt, Sten Nilsson

Journal:

Radiotherapy and Oncology

Year:

2006

Language:

english

File:

PDF, 454 KB

english, 2006

23

[ACM Press the 2000 workshop - Ballycotton, County Cork, Ireland (2000.09.18-2000.09.21)] Proceedings of the 2000 workshop on New security paradigms - NSPW '00 - A requires/provides model for computer attacks

Templeton, Steven J., Levitt, Karl

Year:

2000

Language:

english

File:

PDF, 688 KB

english, 2000

24

1870 QUALITY OF LIFE, SURVIVAL OUTCOMES AND RECTAL/GENITOURINARY TOXICITY IN PATIENTS TREATED WITH 70GY SALVAGE RADIOTHERAPY AFTER RISE IN PSA POST RADICAL PROSTATECTOMY

Cortes-Gonzalez, Jeff R., Castellanos, Enrique, Levitt, Seymour, Holmberg, Anders R., Marquez, Marcela, Richard-Holm, Agneta, Kälkner, Karl M., Brandberg, Yvonne, Nilsson, Sten

Journal:

The Journal of Urology

Year:

2010

Language:

english

File:

PDF, 117 KB

english, 2010

25

[ACM Press the international conference - Los Angeles, California (1975.04.21-1975.04.23)] Proceedings of the international conference on Reliable software - - SELECT---a formal system for testing and debugging programs by symbolic execution

Boyer, Robert S., Elspas, Bernard, Levitt, Karl N.

Year:

1975

Language:

english

File:

PDF, 1.13 MB

english, 1975

26

[ACM Press the 1st ACM workshop - Fairfax, Virginia (2003.10.31-..)] Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks - SASN '03 - A specification-based intrusion detection system for AODV

Tseng, Chin-Yang, Balasubramanyam, Poornima, Ko, Calvin, Limprasittiporn, Rattapon, Rowe, Jeff, Levitt, Karl

Year:

2003

Language:

english

File:

PDF, 375 KB

english, 2003

27

[IEEE 2008 Second International Conference on Sensor Technologies and Applications (sensorcomm 2008) - Cap Esterel, France (2008.08.25-2008.08.31)] 2008 Second International Conference on Sensor Technologies and Applications (sensorcomm 2008) - Non-uniform Entropy Compression for Uniform Energy Distribution in Wireless Sensor Networks

Lu, Xiaoming, Spear, Matt, Levitt, Karl, Wu, S. Felix

Year:

2008

Language:

english

File:

PDF, 608 KB

english, 2008

28

[IEEE 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06) - Manchester, UK (2006.06.26-2006.06.28)] 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06) - Some Problems in Sanitizing Network Data

Bishop, Matt, Crawford, Rick, Bhumiratana, Bhume, Clark, Lisa, Levitt, Karl

Year:

2006

Language:

english

File:

PDF, 191 KB

english, 2006

29

[IEEE 2008 Second International Conference on Emerging Security Information, Systems and Technologies (SECUREWARE) - Cap Esterel, France (2008.08.25-2008.08.31)] 2008 Second International Conference on Emerging Security Information, Systems and Technologies - A Synchronization Attack and Defense in Energy-Efficient Listen-Sleep Slotted MAC Protocols

Lu, Xiaoming, Spear, Matt, Levitt, Karl, Matloff, Norman S., Wu, S. Felix

Year:

2008

Language:

english

File:

PDF, 440 KB

english, 2008

30

[IEEE 2011 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2011) - Kaohsiung City, Taiwan (2011.07.25-2011.07.27)] 2011 International Conference on Advances in Social Networks Analysis and Mining - Design and Implementation of FAITH, An Experimental System to Intercept and Manipulate Online Social Informatics

Lee, Ruaylong, Nia, Roozbeh, Hsu, Jason, Levitt, Karl N., Rowe, Jeff, Wu, S. Felix, Ye, Shaozhi

Year:

2011

Language:

english

File:

PDF, 965 KB

english, 2011

31

[IEEE 2014 IEEE 33rd International Symposium on Reliable Distributed Systems (SRDS) - Nara, Japan (2014.10.6-2014.10.9)] 2014 IEEE 33rd International Symposium on Reliable Distributed Systems - ByzID: Byzantine Fault Tolerance from Intrusion Detection

Duan, Sisi, Levitt, Karl, Meling, Hein, Peisert, Sean, Zhang, Haibin

Year:

2014

Language:

english

File:

PDF, 570 KB

english, 2014

32

Generation bidding game with potentially false attestation of flexible demand

Shan, Yuquan, Raghuram, Jayaram, Kesidis, George, Miller, David J, Scaglione, Anna, Rowe, Jeff, Levitt, Karl

Journal:

EURASIP Journal on Advances in Signal Processing

Year:

2015

Language:

english

File:

PDF, 706 KB

english, 2015

33

Intrinsic fluorescence and redox changes associated with apoptosis of primary human epithelial cells

Levitt, Jonathan M., Baldwin, Amy, Papadakis, Antonios, Puri, Sameer, Xylas, Joanna, Münger, Karl, Georgakoudi, Irene

Journal:

Journal of Biomedical Optics

Year:

2006

Language:

english

File:

PDF, 994 KB

english, 2006

34

Security vulnerabilities of connected vehicle streams and their impact on cooperative driving

Amoozadeh, Mani, Raghuramu, Arun, Chuah, Chen-nee, Ghosal, Dipak, Zhang, H. Michael, Rowe, Jeff, Levitt, Karl

Journal:

IEEE Communications Magazine

Year:

2015

Language:

english

File:

PDF, 276 KB

english, 2015

35

Proof techniques for hierarchically structured programs

Robinson, Lawrence, Levitt, Karl N.

Journal:

Communications of the ACM

Year:

1977

Language:

english

File:

PDF, 7.91 MB

english, 1977

36

An example of hierarchical design and proof

Spitzen, Jay M., Levitt, Karl N., Robinson, Lawrence

Journal:

Communications of the ACM

Year:

1978

Language:

english

File:

PDF, 7.45 MB

english, 1978

37

Clinical outcome in patients with prostate cancer treated with external beam radiotherapy and high dose-rate iridium 192 brachytherapy boost: A 6-year follow-up

Mikael Kälkner, Karl, Wahlgren, Thomas, Ryberg, Marianne, Cohn-Cedermark, Gabriella, Castellanos, Enrique, Zimmerman, Rolf, Nilsson, Josef, Lundell, Marie, Fowler, Jack, Levitt, Seymour, Hellström, Ma

Journal:

Acta Oncologica

Year:

2007

Language:

english

File:

PDF, 124 KB

english, 2007

38

[ACM Press the 2nd ACM symposium - Singapore (2007.03.20-2007.03.22)] Proceedings of the 2nd ACM symposium on Information, computer and communications security - ASIACCS '07 - A framework for diversifying windows native APIs to tolerate code injection attacks

Nguyen, Lynette Qu, Demir, Tufan, Rowe, Jeff, Hsu, Francis, Levitt, Karl

Year:

2007

Language:

english

File:

PDF, 167 KB

english, 2007

39

Recent SRI work in verification

Levitt, Karl N., Neumann, Peter G.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1981

Language:

english

File:

PDF, 716 KB

english, 1981

40

[ACM Press the 2012 workshop - Bertinoro, Italy (2012.09.18-2012.09.21)] Proceedings of the 2012 workshop on New security paradigms - NSPW '12 - Argumentation logic to assist in security administration

Rowe, Jeff, Levitt, Karl, Parsons, Simon, Sklar, Elizabeth, Applebaum, Andrew, Jalal, Sharmin

Year:

2012

Language:

english

File:

PDF, 838 KB

english, 2012

41

[ACM Press the 2013 workshop - Banff, Alberta, Canada (2013.09.09-2013.09.12)] Proceedings of the 2013 workshop on New security paradigms workshop - NSPW '13 - Towards the realization of a public health system for shared secure cyber-space

Rowe, Jeff, Levitt, Karl, Hogarth, Mike

Year:

2013

Language:

english

File:

PDF, 590 KB

english, 2013

42

[ACM Press the 1st ACM conference - Fairfax, Virginia, United States (1993.11.03-1993.11.05)] Proceedings of the 1st ACM conference on Computer and communications security - CCS '93 - Analysis of an algorithm for distributed recognition and accountability

Ko, Calvin, Frincke, Deborah A., Goan, Terrance, Heberlein, Todd, Levitt, Karl, Mukherjee, Biswanath, Wee, Christopher

Year:

1993

Language:

english

File:

PDF, 1.03 MB

english, 1993

43

[ACM Press the 2006 SIGCOMM workshop - Pisa, Italy (2006.09.11-2006.09.15)] Proceedings of the 2006 SIGCOMM workshop on Large-scale attack defense - LSAD '06 - A distributed host-based worm detection system

Cheetancheri, Senthilkumar G., Agosta, John Mark, Dash, Denver H., Levitt, Karl N., Rowe, Jeff, Schooler, Eve M.

Year:

2006

Language:

english

File:

PDF, 152 KB

english, 2006

44

[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - Trusted hardware

Irvine, Cynthia E., Levitt, Karl

Year:

2007

Language:

english

File:

PDF, 142 KB

english, 2007

45

[ACM Press the 1st annual ACM SIGACT-SIGPLAN symposium - Boston, Massachusetts (1973.10.01-1973.10.03)] Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73 - Reasoning about programs

Waldinger, Richard J., Levitt, Karl N.

Year:

1973

Language:

english

File:

PDF, 1.01 MB

english, 1973

46

[ACM Press the 2004 ACM workshop - Washington DC, USA (2004.10.29-2004.10.29)] Proceedings of the 2004 ACM workshop on Rapid malcode - WORM '04 - A hybrid quarantine defense

Porras, Phillip, Briesemeister, Linda, Skinner, Keith, Levitt, Karl, Rowe, Jeff, Ting, Yu-Cheng Allen

Year:

2004

Language:

english

File:

PDF, 475 KB

english, 2004

47

[ACM Press the 2nd ACM symposium - Singapore (2007.03.20-2007.03.22)] Proceedings of the 2nd ACM symposium on Information, computer and communications security - ASIACCS '07 - DRETA

Tseng, Chinyang Henry, Wang, Shiau-Huey, Levitt, Karl

Year:

2007

Language:

english

File:

PDF, 56 KB

english, 2007

48

[IEEE MILCOM 2015 - 2015 IEEE Military Communications Conference - Tampa, FL, USA (2015.10.26-2015.10.28)] MILCOM 2015 - 2015 IEEE Military Communications Conference - A diagnosis based intrusion detection approach

Jackson, Conner, Levitt, Karl, Rowe, Jeff, Krishnamurthy, Srikanth, Jaeger, Trent, Swami, Ananthram

Year:

2015

Language:

english

File:

PDF, 935 KB

english, 2015

49

[IEEE MILCOM 2015 - 2015 IEEE Military Communications Conference - Tampa, FL, USA (2015.10.26-2015.10.28)] MILCOM 2015 - 2015 IEEE Military Communications Conference - Detection of stealthy TCP-based DoS attacks

Aqil, Azeem, Atya, Ahmed O. F., Jaeger, Trent, Krishnamurthy, Srikanth V., Levitt, Karl, McDaniel, Patrick D., Rowe, Jeff, Swami, Ananthram

Year:

2015

Language:

english

File:

PDF, 574 KB

english, 2015

50

[IEEE MILCOM 2015 - 2015 IEEE Military Communications Conference - Tampa, FL, USA (2015.10.26-2015.10.28)] MILCOM 2015 - 2015 IEEE Military Communications Conference - Cyber reasoning with argumentation: Abstracting from incomplete and contradictory evidence

Applebaum, Andy, Levitt, Karl, Li, Zimi, Parsons, Simon, Rowe, Jeff, Sklar, Elizabeth

Year:

2015

Language:

english

File:

PDF, 199 KB

english, 2015